Autori: Vujosevic-Janicic Milena M
| Naslov | Solving the SPARQL query containment problem with SpeCS (Article) |
| Autori | Spasic Mirko D  Vujosevic-Janicic Milena M
|
| Info | JOURNAL OF WEB SEMANTICS, (2023), vol. 76 br. , str. - |
| Projekat | Eurostars Project 3DFed [E!114681]; Serbian Ministry of Science [174021]; European Research Network on Formal Proofs (COST Action) [CA20111] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
     |
| Naslov | Verification supported refactoring of embeddedsql (Article) |
| Autori | Spasic Mirko D Vujosevic-Janicic Milena M
|
| Info | SOFTWARE QUALITY JOURNAL, (2021), vol. 29 br. 3, str. 629-665 |
| Projekat | Ministry of Science, Serbia [174021]; COST actionEuropean Cooperation in Science and Technology (COST) [CA15123] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | SpeCS - SPARQL Query Containment Solver (Proceedings Paper) |
| Autori | Spasic Mirko D Vujosevic-Janicic Milena M
|
| Info | 2020 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC), (2020), vol. br. , str. 31-35 |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | Web of Science Citati: Web of Science Scopus |
|
|
| Naslov | Teaching graduate students how to review research articles and respond to reviewer comments (Review; Book Chapter) |
| Autori | Bankovic Milan M Filipovic Vladimir J Graovac Jelena B Hadzi-Puric Jelena Z ... Kartelj Aleksandar A Kovacevic Jovana J Korolija Nenad Kotlar Milos Krdzavac Nenad B Maric Filip M Malkov Sasa N Milutinovic Veljko M Mitic Nenad S Miskovic Stefan Nikolic Mladen Pavlovic-Lazetic Gordana M Simic Danijela Stojanovic-Djurdjevic Sana Vujicic-Stankovic Stasa Vujosevic-Janicic Milena M Zivkovic Miodrag V
|
| Info | ADVANCES IN COMPUTERS, VOL 116, (2020), vol. 116 br. , str. 1-63 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Concurrent Bug Finding Based on Bounded Model Checking (Article) |
| Autori | Vujosevic-Janicic Milena M |
| Info | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, (2020), vol. 30 br. 5, str. 669-694 |
| Projekat | Ministry of Science, Serbia [174021]; COST actionEuropean Cooperation in Science and Technology (COST) [CA15123] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Regression Verification for Automated Evaluation of Students Programs (Article) |
| Autori | Vujosevic-Janicic Milena M Maric Filip M
|
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2020), vol. 17 br. 1, str. 205-227 |
| Projekat | Ministry of Science, Serbia [174021]; COST actionEuropean Cooperation in Science and Technology (COST) [CA15123] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | The learnability of the dimensional view of data and what to do with it (Article) |
| Autori | Vujosevic Dusan Kovacevic Ivana N Vujosevic-Janicic Milena M |
| Info | ASLIB JOURNAL OF INFORMATION MANAGEMENT, (2019), vol. 71 br. 1, str. 38-53 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Software verification and graph similarity for automated evaluation of students' assignments (Article) |
| Autori | Vujosevic-Janicic Milena M Nikolic Mladen Tosic Dusan D Kuncak Viktor
|
| Info | INFORMATION AND SOFTWARE TECHNOLOGY, (2013), vol. 55 br. 6, str. 1004-1016 |
| Projekat | Serbian Ministry of Science [174021]; Swiss National Science Foundation [SCOPES IZ73Z0_127979/1]; COST Action [IC0901] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description (Proceedings Paper) |
| Autori | Vujosevic-Janicic Milena M Kuncak Viktor |
| Info | VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, (2012), vol. 7152 br. , str. 98-113 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Ensuring safe usage of buffers in programming language C (Proceedings Paper) |
| Autori | Vujosevic-Janicic Milena M |
| Info | ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE, (2008), vol. br. , str. 29-36 |
| Ispravka | Web of Science Citati: Web of Science |
|
|
